Supporting the Changeability of Sipn-based Logic Control Algorithms by Verification and Validation
نویسندگان
چکیده
In this paper the advantages of verification and validation to support changes of an existing PLC program are shown. The controller is defined using Signal Interpreted Petri Nets (SIPN) and verification and validation are performed using symbolic model-checking. The main focus of this paper is to show the process and the benefits of verification and validation for the reliability of the control algorithm when specified changes are to make. This is clarified by the example of a heating tank controller throughout the text.
منابع مشابه
An Integrated Approach for the Development of Logic Controllers Based on Signal Interpreted Petri Nets
In this contribution an integrated design approach for logic control systems is presented. The approach is based on Signal Interpreted Petri Nets (SIPN), a Petri Net model extending condition event nets with means for the input and output of signals. The presented method starts from an informal description of the controller and proceeds over the steps design, formal verification and validation ...
متن کاملA Senior Course on Logic Process Control based on Petri Nets
In this contribution we present the basic concepts of a senior course on logic process control based on Petri Nets. This course is an introduction to basic design concepts and description formalisms of industrial logic control systems. It is mandatory for all students of electrical engineering specializing in the field of automation. One of the examples used throughout the course to illustrate ...
متن کاملControl Simulation and Experimental Verification of Maximum Power Point Tracking Based on RT-LAB (TECHNICAL NOTE)
The maximum power point tracking (MPPT) control in the Photovoltaic system is the key control technology, however present controller has the disadvantages of long development cycle, high cost and complex verification, and there are some disadvantages carrying out totally physical simulation or totally digital simulation of different control algorithms. This paper carried out design of hardware ...
متن کاملTransparency Analysis of Petri Net Based Logic Controllers — a Measure for Software Quality in Automation
Control algorithms are a special type of application oriented software which clearly should meet the quality criteria defined by ISO/IEC9126 standard. It is shown how these criteria are related to two basic properties of control algorithms: correctness and transparency. This contribution concentrates on the analysis of transparency. An algorithm is said to be correct if it fulfils several forma...
متن کاملDesigning an Intelligent Intrusion Detection System in the Electronic Banking Industry Using Fuzzy Logic
One of the most important obstacles to using Internet banking is the lack of Stability of transactions and some misuse in the course of transactions it is financial. That is why preventing unauthorized access Crime detection is one of the major issues in financial institutions and banks. In this article, a system of intelligence has been designed that recognizes Suspicious and unusual behaviors...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003